axiomatic specification - Turkish English Dictionary